#include<stdio.h>
#include<string.h>
#include<math.h>

#define PI 3.1415926

int main()
{
    double width;
    double ratio;
    double d;
    char instring[100];

    int pos;
    int len;

    double ans;

    //freopen("a.txt","r",stdin);
    //freopen("out.txt","w",stdout);

    while(gets(instring))
    {
        len=strlen(instring);
        pos = 2;
        sscanf(instring+pos,"%lf",&width);
        pos = 0;
        while(pos<len && instring[pos] != '/')
        {
        	pos++;
         }
        pos++;
        sscanf(instring+pos,"%lf",&ratio);
        pos = strlen(instring)-1;
        while(instring[pos] < 'A' || instring[pos] > 'Z')
        {
                pos --;
         }
        pos++;
        sscanf(instring+pos,"%lf",&d);

        ans=PI*(2*width*ratio/1000 + d*2.54);

        printf("%s: %d\n",instring,(int)(ans+0.5));


    }

    return 0;
}


